<html>
<head><meta charset="utf-8"><title>values of Rust · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html">values of Rust</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="194227635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194227635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194227635">(Apr 15 2020 at 21:06)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1977">@T-lang</span>, so I've been thinking about this idea of stating the "values of Rust" or "design principles of Rust" more explicitly, so that we can use them to help us think about design questions.</p>
<p>I thought a good place to start would be brainstorming.</p>
<p>To that end, I've created a <a href="https://paper.dropbox.com/doc/Values-of-Rust--AyLr~TNTDPn78n7bhfPPYLeRAg-pXv14DptpYiwCxPq1PSnS" title="https://paper.dropbox.com/doc/Values-of-Rust--AyLr~TNTDPn78n7bhfPPYLeRAg-pXv14DptpYiwCxPq1PSnS">Dropbox Paper</a> and I'm going to start dropping some notes in there from time to time. I don't know if this will turn out to be productive or not, but I thought it might be interesting at least. =)</p>



<a name="194228395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194228395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194228395">(Apr 15 2020 at 21:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> do you want to keep that lang-only? :)</p>



<a name="194229359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194229359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194229359">(Apr 15 2020 at 21:22)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> </p>
<blockquote>
<p>it should not be possible to have undefined behavior without the unsafe keyword.</p>
</blockquote>
<p>Is it "undefined behavior" you want to flag here? That statement is <em>true</em>, but it seems somewhat separate from the primary things unsafe exists to address.</p>



<a name="194229413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194229413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194229413">(Apr 15 2020 at 21:23)</a>:</h4>
<p>I feel like that's related to what unsafe means, but not directly what unsafe means.</p>



<a name="194230793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194230793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194230793">(Apr 15 2020 at 21:34)</a>:</h4>
<p>I added a subsection under "Portability" regarding the ability to use non-portable features of a platform (but the desire that doing so requires intent rather than accident).</p>



<a name="194264745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194264745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194264745">(Apr 16 2020 at 07:17)</a>:</h4>
<p>Safe in rust usually just means memory safe but that's only of value _because of_ the UB when you break memory safety</p>



<a name="194264769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194264769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194264769">(Apr 16 2020 at 07:18)</a>:</h4>
<p>UB is the real foe</p>



<a name="194317681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194317681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194317681">(Apr 16 2020 at 15:02)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116122">simulacrum</span> <a href="#narrow/stream/213817-t-lang/topic/values.20of.20Rust/near/194228395" title="#narrow/stream/213817-t-lang/topic/values.20of.20Rust/near/194228395">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> do you want to keep that lang-only? :)</p>
</blockquote>
<p>not necessarily</p>



<a name="194317748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194317748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194317748">(Apr 16 2020 at 15:03)</a>:</h4>
<p>I was expecting folks to add things</p>



<a name="194317768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194317768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194317768">(Apr 16 2020 at 15:03)</a>:</h4>
<p>I just didn't want it to like show up on reddit or something</p>



<a name="194323458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194323458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194323458">(Apr 16 2020 at 15:36)</a>:</h4>
<p>I would add two other major things:</p>
<ul>
<li>Awesome tooling</li>
<li>Awesome community</li>
</ul>
<p>Also, under performance: fearless concurrency<br>
And under maintainability: stability/backwards-compatibility guarantees (without stagnation)</p>



<a name="194357250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194357250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194357250">(Apr 16 2020 at 19:43)</a>:</h4>
<p>Unfortunately, outside of our community, we have a reputation of being an extremely toxic community</p>



<a name="194357481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194357481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194357481">(Apr 16 2020 at 19:44)</a>:</h4>
<p>I've heard from multiple people in multiple places that they don't even want to learn Rust the language, regardless of the merits as a language, because of the Rust community.</p>



<a name="194358776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194358776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194358776">(Apr 16 2020 at 19:56)</a>:</h4>
<p>Could you elaborate a bit on the flavor of "toxic" that the community is perceived as? Because that's new to me.</p>



<a name="194358821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194358821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194358821">(Apr 16 2020 at 19:56)</a>:</h4>
<p>Is this an issue of the loud RIIR/RESF crowd being perceived as part of the community?</p>



<a name="194358859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194358859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194358859">(Apr 16 2020 at 19:57)</a>:</h4>
<p>Yes exactly that, and the, uh, "actix event" <em>really</em> put a pin on it.</p>



<a name="194358894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194358894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194358894">(Apr 16 2020 at 19:57)</a>:</h4>
<p>Gaaah.</p>



<a name="194359017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194359017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194359017">(Apr 16 2020 at 19:58)</a>:</h4>
<p>I find myself wondering if there'd be value in putting out a statement from the lang and core teams basically saying that the whole RESF joke is not something that we appreciate and is doing more harm than good, and we'd appreciate people not doing it?</p>



<a name="194359057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194359057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194359057">(Apr 16 2020 at 19:58)</a>:</h4>
<p>It might not <em>stop</em> everyone from doing it, but it would at least say "this isn't welcome here".</p>



<a name="194359326"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194359326" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194359326">(Apr 16 2020 at 20:00)</a>:</h4>
<p>I think that, "No, that wouldn't help at all, the kind of people who do this aren't listening to you to begin with", but also "Software is like a bridge or a house, and if you build an unsafe thing <em>someone</em> has to tell people to not walk on that bridge or live in that house because it's dangerous; so I somewhat see their point" and also "the internet has to learn to not dog-pile on situations (which of course it won't)".</p>



<a name="194359657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194359657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194359657">(Apr 16 2020 at 20:03)</a>:</h4>
<p>So, regarding the first of those three points, the message wouldn't be primarily for the people who do this. It would be for the people affected by people who do this.</p>



<a name="194359862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194359862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194359862">(Apr 16 2020 at 20:04)</a>:</h4>
<p>Saying "this is neither appreciated nor welcome in our community" has some value, at least, in setting an example and helping people know "any sufficiently popular thing will have its trolls" versus "the trolls are part of the community".</p>



<a name="194359966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194359966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194359966">(Apr 16 2020 at 20:05)</a>:</h4>
<p>I don't think that it'd hurt.</p>



<a name="194360109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360109">(Apr 16 2020 at 20:06)</a>:</h4>
<p>I would be on board with such a statement; I might want to go further and as part of this endeavor try to put it up as more than "just a blog post" but e.g. a values page similar to CoC (and perhaps even enforced, to some extent).</p>



<a name="194360173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360173">(Apr 16 2020 at 20:06)</a>:</h4>
<p>I think that one way to help things long term would be if there was a <em>blessed</em> team of people who would have crate soundness issues reported to <em>them</em>, then they'd actually raise it with individual crate maintainers, and thus communication with actual crate maintainers would go through a very limited number of people who are selected for being able to stay diplomatic as much as possible.</p>



<a name="194360291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360291">(Apr 16 2020 at 20:07)</a>:</h4>
<p><span class="user-mention" data-user-id="224471">@Lokathor</span> Do you happen to know if the set of people currently working on the secure code working group and the safety-dance project are such people?</p>



<a name="194360397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360397">(Apr 16 2020 at 20:08)</a>:</h4>
<p>With all due respect to the people involved, I happen to know that they're not really, because, well, that's how this happened in the first place.</p>



<a name="194360572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360572">(Apr 16 2020 at 20:09)</a>:</h4>
<p>Bugs need to be fixed, but there's probably a reasonable way to fix issues silently and then announce a fix after the fact, instead of opening a github issue that everyone can go to and jump on. At least for most bugs.</p>
<p>and sure, if the bug lingers then open an issue and let it be known that there's a bug that can't be fixed right away and so on,</p>



<a name="194360670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360670">(Apr 16 2020 at 20:10)</a>:</h4>
<p>but at "reddit speeds" things get toxic</p>



<a name="194360771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360771">(Apr 16 2020 at 20:11)</a>:</h4>
<p>I was just looking at their repo, and...<a href="https://twitter.com/rustsecurecode/header_photo" title="https://twitter.com/rustsecurecode/header_photo">ugh</a>.</p>



<a name="194360853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360853">(Apr 16 2020 at 20:12)</a>:</h4>
<p>Yeah, you're right.</p>



<a name="194360952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194360952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194360952">(Apr 16 2020 at 20:12)</a>:</h4>
<p>I know the Ring dev specifically has a declared and firm "only disclose publicly on the github issue tracker" policy, i bet most people would like to have private notice first though.</p>



<a name="194361895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194361895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> XAMPPRocky <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194361895">(Apr 16 2020 at 20:20)</a>:</h4>
<p>I've also been thinking about writing a personal post about this topic. There have been multiple incidents recently that I've found quite troubling.</p>



<a name="194368852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194368852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194368852">(Apr 16 2020 at 21:19)</a>:</h4>
<blockquote>
<p>Bugs need to be fixed, but there's probably a reasonable way to fix issues silently and then announce a fix after the fact, instead of opening a github issue that everyone can go to and jump on. At least for most bugs.</p>
</blockquote>
<p>I am very surprised by this. IMO that's exactly what github issues are for -- reporting bugs. maybe with the exception of security vulnerabilities (re: responsible disclosure), but that does not seem to be the concern here. notably responsible disclosure is about protecting users of the software from exploits, not protecting software authors from (fair or unfair) criticism.<br>
I don't feel like "a bug was properly and respectfully reported on github" is part of the failure chain that lead to the actix "event".</p>



<a name="194368998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194368998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194368998">(Apr 16 2020 at 21:21)</a>:</h4>
<p>I wonder about that myself. The piling on and drive-bys shouldn't have happened, but was the filing of the issue in the first place a primary problem?</p>



<a name="194369222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194369222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194369222">(Apr 16 2020 at 21:23)</a>:</h4>
<p><em>Just</em> filing the issue, wasn't a problem, no. However, as soon as that issue if filed it quickly got put many places and the discussion between two or three people became watched by many many people and it all spiraled.</p>



<a name="194371067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194371067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194371067">(Apr 16 2020 at 21:41)</a>:</h4>
<blockquote>
<p>Do you happen to know if the set of people currently working on the secure code working group and the safety-dance project are such people?</p>
</blockquote>
<p>That's a no from me as well. It's mostly me who handles the organization of safety-dance, and I'm also the person who has set off the latest Actix incident. I am trying to improve, but I don't quite trust myself to do dramatically better quite yet.</p>



<a name="194371352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194371352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194371352">(Apr 16 2020 at 21:44)</a>:</h4>
<p>Plus reputation is also a factor. The last thing I want a recepient of a message about soundness issues to think is "Oh no, it's from the guy who destroyed Actix".</p>



<a name="194371873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194371873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194371873">(Apr 16 2020 at 21:50)</a>:</h4>
<p>FWIW I am trying to separate my views (like the HTTP clients article) from WG activities (such as safety-dance) and generally not associate my name with the WG. It seems to be working well so far.</p>



<a name="194373287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194373287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194373287">(Apr 16 2020 at 22:04)</a>:</h4>
<p><span class="user-mention" data-user-id="127617">@Shnatsel</span> Self-awareness is a very admirable trait, especially when combined with a desire for improvement. :)</p>



<a name="194373313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194373313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194373313">(Apr 16 2020 at 22:04)</a>:</h4>
<p>Could I ask you to please pick a different Twitter banner? :)</p>



<a name="194373384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194373384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194373384">(Apr 16 2020 at 22:05)</a>:</h4>
<p>Something less "you're not smart enough to use unsafe" and more safety-related?</p>



<a name="194373412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194373412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194373412">(Apr 16 2020 at 22:05)</a>:</h4>
<p>Right. I don't use Twitter so I wasn't even aware of that banner. I'll talk to the people involved to put something less divisive in there</p>



<a name="194373707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194373707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194373707">(Apr 16 2020 at 22:08)</a>:</h4>
<p>Thank you!</p>



<a name="194373749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194373749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194373749">(Apr 16 2020 at 22:08)</a>:</h4>
<p>I've messaged the relevant people just now. Thanks for bringing this up!</p>



<a name="194373979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194373979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194373979">(Apr 16 2020 at 22:10)</a>:</h4>
<p>FWIW, positioning aside, I appreciate the work that safety-dance is doing.</p>



<a name="194374039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194374039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194374039">(Apr 16 2020 at 22:11)</a>:</h4>
<p>It makes me happy that you're finding cases where programs can get what they need without <code>unsafe</code>, and in particular when you take those learnings and bring them to the language or libraries.</p>



<a name="194374373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194374373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194374373">(Apr 16 2020 at 22:14)</a>:</h4>
<p>We need to organize the identified issues better, by the way. There is a bunch of quite specific things that people are missing safe abstractions for and have to resort to hand-rolled <code>unsafe</code> that could be done once and for all, but that list is currently not published anywhere, or even written down. <br>
While we're at it, any tips on organizing that? I was considering starting a repo under Secure Code WG and put those in the issue tracker, but I'm not sure it's a good path because that's quite removed from the places people would normally read. OTOH rust-lang/rust has so many issues that these ones would just get drowned.</p>



<a name="194374458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194374458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194374458">(Apr 16 2020 at 22:15)</a>:</h4>
<p>You might start by tagging issues in the existing secure code WG with a "potential-pattern" tag or something like that.</p>



<a name="194374477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194374477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194374477">(Apr 16 2020 at 22:15)</a>:</h4>
<p>And then opening issues tagged as "pattern-proposal".</p>



<a name="194374567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194374567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194374567">(Apr 16 2020 at 22:16)</a>:</h4>
<p>You could brainstorm them, try to come up with an implementation or specification of the pattern in practice, and then bring <em>that</em> to internals as a pre-RFC.</p>



<a name="194379315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194379315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194379315">(Apr 16 2020 at 23:16)</a>:</h4>
<p>The Twitter banner is removed</p>



<a name="194459819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194459819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194459819">(Apr 17 2020 at 15:41)</a>:</h4>
<p>Hmm... well, I'm late to the game, but thanks for bringing that up <span class="user-mention" data-user-id="224471">@Lokathor</span> ... I'm not on twitter or reddit, so I was unaware that anything happened at all until I saw Steve's blog post, and even then I didn't realize how big it was...</p>



<a name="194459977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194459977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194459977">(Apr 17 2020 at 15:42)</a>:</h4>
<p>That said, regardless of whether we do a good job at it or not, I still think "having an awesome community" is a value of rust -- that is, it's something we definitively work for, right?</p>



<a name="194469972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194469972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194469972">(Apr 17 2020 at 16:58)</a>:</h4>
<p>this topic seems to be about principles that help guide Rust design, so "awesome community" seems unrelated</p>



<a name="194470471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194470471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194470471">(Apr 17 2020 at 17:01)</a>:</h4>
<p>It's not often something that <em>directly</em> informs language design, but we do think about the community and ecosystem impact of language changes. For instance, I know of at least one feature we're thinking about where we're talking about whether that feature would lead to a specific kind of strife between members of the community (making a specific thing opt-in per crate, which could generate a large number of "please enable this in your crate so I can use it when using your crate" messages).</p>



<a name="194471340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194471340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194471340">(Apr 17 2020 at 17:08)</a>:</h4>
<p>The compiler once allowed code accepted by ast-borrowck that got rejected by mir-borrowck, with just a warning, to give people time to fix their code. Would that be another good example?</p>



<a name="194471507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194471507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194471507">(Apr 17 2020 at 17:09)</a>:</h4>
<p>crater and perf runs too, I suppose</p>



<a name="194471780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194471780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194471780">(Apr 17 2020 at 17:11)</a>:</h4>
<p>I mean, at the end of the day everything we do is trying to make things better for the Rust community, so I wouldn't want to overstretch that as a value, but I do think it's worth recording and keeping in mind.</p>



<a name="194500474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194500474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194500474">(Apr 17 2020 at 21:10)</a>:</h4>
<p>I think I like the "[language] design principles" phrasing for this better -- I'm most excited for this as a starting point for "why do we <code>reviewed</code>/<code>concern</code> something?".  Broader values are also a valuable conversation, but are a much bigger thing than a t-lang stream.</p>



<a name="194538548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194538548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194538548">(Apr 18 2020 at 10:57)</a>:</h4>
<p><span class="user-mention" data-user-id="125270">@scottmcm</span> I like that too</p>



<a name="194538836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194538836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194538836">(Apr 18 2020 at 11:04)</a>:</h4>
<p>one other thing. I thnk this document is in danger of being "all the things" -- i.e., rust language tries to be everything. Of course, that's true, but it's good for us to put some hard thinking also into the places where we <em>fail</em> (or choose not to) uphold a given principle, and why.</p>



<a name="194538842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194538842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194538842">(Apr 18 2020 at 11:05)</a>:</h4>
<p>As an example, I was thinking about "forwards compatibility" or "resilience"</p>



<a name="194538854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194538854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194538854">(Apr 18 2020 at 11:05)</a>:</h4>
<p>(maybe encapsulation is the right name?)</p>



<a name="194538895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194538895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194538895">(Apr 18 2020 at 11:06)</a>:</h4>
<p>basically the idea that making changes to your fns doesn't cause your callers to stop compiling (nor, ideally, to stop <em>Working</em>)</p>



<a name="194538899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194538899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194538899">(Apr 18 2020 at 11:06)</a>:</h4>
<p>I think we do a lot of work to maintain this, but there are some places that we fail, notably adding <code>AsRef</code> impls</p>



<a name="194538902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/values%20of%20Rust/near/194538902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/values.20of.20Rust.html#194538902">(Apr 18 2020 at 11:06)</a>:</h4>
<p>I guess the "modularity in the abstract sense" goes in this direction</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>